homotopy addition theorem

同伦加法定理